examples for dfa design